Stable Conjugacy: Definitions and Lemmas
نویسنده
چکیده
The purpose of the present note is to introduce some notions useful for applications of the trace formula to the study of the principle of functoriality, including base change, and to the study of zeta-functions of Shimura varieties. In order to avoid disconcerting technical digressions I shall work with reductive groups over fields of characteristic zero, but the second assumption is only a matter of convenience, for the problems caused by inseparability are not serious.
منابع مشابه
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report
Using recent results on integrating induction schemes into decidable theories, a method for generating lemmas useful for reasoning about T -based function definitions is proposed. The method relies on terms in a decidable theory admitting a (finite set of) canonical form scheme(s) and ability to solve parametric equations relating two canonical form schemes with parameters. Using nontrivial exa...
متن کاملConjugation in Semigroups
The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been several attempts to extend the notion of conjugacy to semigroups. In this paper, we present a new definition of conjugacy that can be applied to an arbitrary semigroup and it does not reduce to the universal relation in semigroups with a zero. We comp...
متن کاملStable Super Summit Sets in Garside Groups
The known algorithms for solving the conjugacy problem in Garside groups involve computing a particular subset of the conjugacy class, the so-called super summit set. The super summit set [g] of an element g in a Garside group is, intuitively, the set of all conjugates of g that have the shortest normal form in the conjugacy class of g. In this paper, we define the stable super summit set [g] o...
متن کاملTori Invariant under an Involutorial Automorphism I
Let G be a connected reductive linear algebraic group defined over an field k of characteristic not 2, θ ∈ Aut(G) an involutional k-automorphism of G and K = Gθ = {g ∈ G | θ(g) = g} the set of fixed points of θ. Denote the set of k-rational points of G by Gk. In this paper we shall classify the K-conjugacy classes of θ-stable maximal tori of G. This is shown to be independent of the characteris...
متن کاملPolymorphic Lemmas and Definitions in lambda-Prolog and Twelf
λProlog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can be implemented with a great economy of expression. We encode a higher-order logic using an encoding that maps both terms and types of the object logic (higher-order logic) to terms of the metalanguage (λProlog). We discuss both the Terzo and Tey...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1979